In memoriam Miguel Cruz Hernández (15.I.1920–25.V.2020)
نویسندگان
چکیده
منابع مشابه
Miguel Cruz Costa Calejo A Framework
This thesis describes a new approach to declarative debugging (error diagnosis) of logic programs. The main contributions are: • “Declarative source debugging”, a new approach requiring less queries from the user. • Improved algorithms for classical “declarative execution debugging”. • Support for Prolog impurities, such as cuts and side-effects. • The use of suspect trees, allowing uniform tre...
متن کاملRey Hernández - Julián
Studies have shown that attractive people have higher earnings. In this paper, we test the hypothesis that physical attractiveness may be a proxy for unobserved productivity. We compare the impact of attractiveness on grades in college courses where instructors can directly observe the student’s appearance to courses where they do not. We confirm that appearance matters: attractive female stude...
متن کاملHernández - Dueñas RESEARCH STATEMENT IN : SEMICLASSICAL ANALYSIS
My research interests include the area of semiclassical analysis. In collaboration with Professor Alejandro Uribe, we develop semiclassical analysis on certain phase spaces (symplectic manifolds) with boundary, construct a symbolic calculus for semiclassical operators with singular symbols and study propagation. This has applications to spectral theory and mathematical physics. However, I also ...
متن کاملMemoriam.
George W. Housner, Carl F Braun Professor of Engineering, emeritus, died after a short illness on 10 November 2008, just a few weeks before his 98th birthday. He was in the retirement home in Pasadena where he had lived for several years. For all of us who knew George, this marked the end of an era. Few people have guided and nurtured a field the way George led earthquake engineering over a per...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mediterranea. International Journal on the Transfer of Knowledge
سال: 2021
ISSN: 2445-2378
DOI: 10.21071/mijtk.v6i.13025